package(default_visibility = ["//visibility:public"])

cc_library(
    name = "boot_picoboot_headers",
    hdrs = [
        "include/boot/picoboot.h",
        "include/boot/picoboot_constants.h",
    ],
    includes = ["include"],
    deps = ["//src:pico_platform_internal"],
)
